Définition :
Soit \(\Omega\) l'ensemble des issues possibles d'une expérience
On note \(\mathcal F\) l'ensemble des évènements observables (\(A\in\mathcal F\implies A\subset\Omega\), ou \(\mathcal F\subset\mathcal P(\Omega)\))
\(\mathcal F\) est une tribu sur \(\Omega\) si et seulement s'il vérifie ces trois conditions :